perm filename PAT.1[AM,DBL] blob sn#481078 filedate 1979-10-11 generic text, type T, neo UTF8
Dear Pat,

Here are the refs you requested.

Lenat, D. B., ``AM: an artificial intelligence approach to discovery in
mathematics as heuristic search,''  Memo AIM-286, Stanford AI Lab, 1976.


Davis, K. R., and D.B.Lenat, "Knowledge Based Systems in Artificial
Intelligence", McGraw-Hill, 1980.

See you in Nov.
Regards
Doug